automatic program verification
自动程式验证
热门查询
- saintliness n. 圣洁；慈爱；至善
- premarital adj. 婚前的
- frame of mind n. 心态；心绪 [网络] 心情；心境；情绪
- tribulation n. 苦难；磨难；忧患
- Ecuadorean 厄瓜多尔人 厄瓜多尔的 厄瓜多尔人的
- Poindexter [人名] 波因德克斯特; [地名] [美国] 波因德克斯特
- unforced adj. 自然的；不勉强的 v. 非被强迫（unforce的过去分词）
- coll abbr. collect 收集; college 学院; collective 集体的; colloid 胶体（的）
- Pseudomonas n. 假单胞菌
- less adv. 较少地；较小地；更小地 adj. 较少的；较小的 prep. 减去 n. 较少；较小 n. (Less)人名；(德、意、匈、芬)莱斯
- Moussa [人名] 穆萨; [地名] [乍得] 穆萨
- hedged vt. 用树篱笆围住；避免作正面答复 vi. 用树篱围住；避免作正面答复 n. 树篱；障碍 n. (Hedge)人名；(英)赫奇
- Dowson [人名]道森
- infest vt. 骚扰；寄生于；大批出没；大批滋生
- rupee n. 卢比（货币）
- commando n. 突击队，突击队员
- distributed adj. 分布式的，分散式的
- degenerate n. 堕落的人 adj. 退化的；堕落的 vi. 退化；堕落 vt. 使退化；恶化
- subjunctive n. 虚拟语气 adj. 虚拟的；虚拟语气的
- basting n. 疏缝；假缝；疏缝用线；（烤肉时的）涂油脂 n. (Basting)人名；(德)巴斯廷 v. 假缝；涂以油脂（baste的ing形式）
